#ifndef _MACHINE_H_
#define _MACHINE_H_

#include <halmach_t.h>

void hal_mach_init (void);
void mach_t_init (mach_t * mach);
void mach_print (mach_t * mach);

#endif
